﻿
    using System;
namespace WCYCReader.ImageTool
{
    public class ImageFrame : ImageBase
    {
        public ImageFrame()
        {
        }

        public ImageFrame(ImageFrame other) : base(other)
        {
            Contract.Requires<ArgumentNullException>(other != null, "Other image cannot be null.");
            Contract.Requires<ArgumentException>(other.IsLoaded, "Other image has not been loaded.");
            Contract.Ensures(base.IsLoaded);
        }
    }
}

